1. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
2. Les mathematiques a la portee de l'ordinateur
پدیدآورنده : Arnold, Ander
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(
رده :
Q
335
.
A75
3. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
4. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
5. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (Semnan)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
6. Logics of specification languages
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
7. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
8. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
9. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
10. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
11. The Imperative future :principles of executable temporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al.[
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
12. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
13. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
14. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
